Pary uporzdkowane i s sobie rwne wtedy i tylko wtedy, gdy [~]. Inn sytuacj mamy dla zbiorw dwuelementowych poniewa zawsze. Zbir z elementw mona by zatem nazywa par nieuporzdkowan. Zbir wszystkich par uporzdkowanych gdzie przebiega zbir, a przebiega zbir, nazywamy iloczynem kartezjaskim zbiorw i. Iloczyn kartezjaski zbiorw i oznaczamy przez. 